/* Invokes a system call with the system call number and its
   argument on separate pages.  This must work. */

#include <syscall-nr.h>
#include "tests/userprog/boundary.h"
#include "tests/lib.h"
#include "tests/main.h"

void test_main(void)
{
    /* Put a syscall number at the end of one page
       and its argument at the beginning of another. */
    int *p = get_boundary_area();
    p--;
    p[0] = SYS_EXIT;
    p[1] = 42;

    /* Invoke the system call. */
    asm volatile(
        "movl %0, %%esp; int $0x30"
        :
        : "g"(p));
    fail("should have called exit(42)");
}
